Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
Attention really is all you need — The Encoder
pub.towardsai.net·1h
🤖Transformers
Flag this post
The skills and physics of high-performance driving, Pt. 1
lesswrong.com·6h
🧮Algebraic Effects
Flag this post
Two Hours to Find a Swapped String
📐Type Theory
Flag this post
First-class custom smart pointers
🔀Crossbeam
Flag this post
ML Systems Textbook by Havard
🚀MLOps
Flag this post
Dynamically Reconfigurable Instruction Cache for Low-Power ARM Custom Cores
🔁Cache Coherence
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
Referential Transparency
λFunctional Programming
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.org·2d
🎯Hindley-Milner
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.org·2d
🍱Nom
Flag this post
Why isn’t Rust getting more professional adoption despite being so loved?
🏷️Memory Tagging
Flag this post
Loading...Loading more...